|
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1990 Volume number : 16 Issue: 06 |
A Hookup Teorem For Multilevel Security
(Article)
Subject:
Composating Operations
,
Process
,
Security
Author:
Daral Mc
Cullough
page:
563
-
568
On The Identification Of Covert Storage Channels In Secure Systems
(Article)
Subject:
Covert Channel
,
Information Fusion
,
Source Code
Author:
Chii-Ren
Tsai
Virgil D.
Gligor
page:
569
-
580
A Specification And V Erification Method For Preventing Denial Of Serviec
(Article)
Subject:
Denial-Of-Services Attack
,
Safety
,
Security
Author:
Cheng
Yu
Virgil D.
Gligor
page:
581
-
592
The Sea View Security Model
(Article)
Subject:
Classification
,
Relational Databases
,
Security
Author:
Teresa F.
Lunt
Dorothy E.
Denning
Mike
Schell
page:
593
-
607
Compartmented Mode Workstation Prototy Pe Highlights
(Article)
Subject:
Auditing
,
Compartment Model
,
Computer Security
,
Access Control
Author:
Jeffrey
Berger
John P. L.
Woodward
Paul T.
Cummings
page:
608
-
618
|
|
| | |